- 一元邏輯
- 一元謂詞邏輯
- 一元謂詞演算
- predicate: n. 1.【語法】謂語，述語。 2.【邏輯學】謂項，述項 ...
- calculus: n. (pl. calculuses, -li ) 1. ...
- predicate calculus: 述詞計算; 謂詞演算
- connective in predicate calculus: 謂詞演算中的連接詞
- extended predicate calculus: 廣義謂詞演算
下載手機詞典可隨時隨地查詞查翻譯
monadic predicate calculus中文什么意思
- 一元邏輯
- 一元謂詞邏輯
- 一元謂詞演算
下載手機詞典可隨時隨地查詞查翻譯
百科釋義
In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P is a predicate letter and x is a variable.
詳細百科解釋